1. Category theory and computer science
المؤلف: / D.H. Pitt ... [et al.] (ed.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Categories (Mathematics)--Congresses
رده :
QA
,
76
.
6
,.
C3882
,
1989
2. Category theory and computer science
المؤلف: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
3. Category theory and computer science :
المؤلف: D.H. Pitt [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
4. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
المؤلف: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
5. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
المؤلف: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
6. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
المؤلف: D.H. Pitt ... )et al.( )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
7. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
المؤلف: D.H. Pitt...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
8. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
المؤلف: D.H. Pitt ... )et al.( )ed.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
9. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
المؤلف: D.H. Pitt ... )et al.( )ed.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
10. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
المؤلف: D.H. Pitt ... ]et al.[ )ed.(
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
11. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
المؤلف: David Pitt, David E. Rydeheard, Peter Johnstone, eds
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
12. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
المؤلف: / Eugenio Moggi, Giuseppe Rosolini(eds.)
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
13. Foundations of software science and computation structures :
المؤلف: Christel Baier, Ugo Dal Lago (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
14. Proof and system-reliability
المؤلف: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
